1. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده : Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011